w ∧ x /\ y ∧ z
